The effective model structure and -groupoid objects

the underlying structure of language proficiency and the proficiency level

هدف از انجام این تخقیق بررسی رابطه احتمالی بین سطح مهارت زبان خارجی (foreign language proficiency) و ساختار مهارت زبان خارجی بود. تعداد 314 زبان آموز مونث و مذکر که عمدتا دانشجویان رشته های زبان انگلیسی در سطوح کارشناسی و کارشناسی ارشد بودند در این تحقیق شرکت کردند. از لحاظ سطح مهارت زبان خارجی شرکت کنندگان بسیار با هم متفاوت بودند، (75 نفر سطح پیشرفته، 113 نفر سطح متوسط، 126 سطح مقدماتی). کلا ...

a tripartite model of efl teachers attributions, burnout, and ‎self-regulation: towards the prospects of effective teaching

همطالعه حاضر به ارائه مدلی برای آموزش موثر زبان انگلیسی ‏می پردازد. مدل حاضر از سه عامل تاثیر گذار در کارایی ‏تدریس معلمان زبان انگلیسی بهره می برد. این سه عامل شامل ‏سبکهای اسنادی، خود تنطیمی و فرسودگی شغلی معلمان ایرانی ‏زبان انگلیسی می باشد. رساله مورد نظر درچهار فاز طراحی ‏شده است: فاز اول شامل طراحی و رواسازی پرسشنامه سبکهای ‏اسنادی معلمان زبان انگلیسی و فاز دوم شامل استفاده از ‏این پرسشنا...

The Monodromy Groupoid of a Lie Groupoid

R esum e: Nous d emontrons que, sous des circomstances g en erales, l'union disjoint des couvertes universales des etoiles d'un groupo de de Lie admet le structure d'un groupo de de Lie auquel que le projection a une propri et e de monodromie sur les extensions des morphismes emousse. Ca compl etes une conte d etailles des r esultats annonc es par J. Pradines. Introduction The notion of monodro...

The groupoid model of type theory

On the Groupoid Model of Computational Paths

The main objective of this work is to study mathematical properties of computational paths. Originally proposed by de Queiroz & Gabbay (1994) as ‘sequences or rewrites’, computational paths are taken to be terms of the identity type of Martin Löf’s Intensional Type Theory, since these paths can be seen as the grounds on which the propositional equality between two computational objects stand. F...